3.10.1 Language Reference

3.10.1 Language Reference

The input language for Security Module is SeVe language. This language is an extension of Casper language. However, we have some amelioration such as time semantics inside the language and many kinds of properties (integrity, fairness, anonimity, non_repudiation). We also have an option for the user to manually or automatically declare the number of participants.

The language syntax structures are listed as follows. The complete grammar rules can be found in Section 3.10.1.3.

3.10.1.1 Specification section

3.10.1.2 Verification section

3.10.1.3 Grammar Rules